/* Applies to the entire body of the HTML document (except where overridden by more specific
selectors). */
@font-face {
  font-family: ComicSans;
  font-weight: normal; 
  src:url(/Fonts/ComicSans.ttf) format('truetype')
}

@font-face {
  font-family: ComicSans;
  font-weight: bold;
  src:url(/Fonts/ComicSans-bold.ttf) format('truetype')
}

@font-face {
  font-family: JetBrainsMono;
  font-weight: normal; 
  src:url(/Fonts/JetBrainsMono-Regular.ttf) format('truetype')
}

@font-face {
  font-family: JetBrainsMono;
  font-weight: bold; 
  src:url(/Fonts/JetBrainsMono-Bold.ttf) format('truetype')
}

body {
  margin: 25px;
  background-color: #008080;
  font-family: JetBrainsMono;
  font-size: 18px;
  color: #FFFFFF
}

/* Applies to all <h1>...</h1> elements. */
h1 {
  font-size: 35px;
  font-weight: bold;
  margin-top: 5px;
  text-align: center;
}